121. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
122. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
123. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
124. Logic, language, and computation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
125. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
126. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
127. Logic, language, information and computation
پدیدآورنده : Luke Ong, Ruy de Queiroz (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2012eb
128. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
129. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
130. Logic of computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
131. Logic of computation
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
132. Logic programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ; Computer programming ; Congresses. ;
133. Logical Aspects of Computational Linguistics
پدیدآورنده : \ [edited by] Denis Bechet, Alexander Dikovsky.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computational linguistics -- Congresses.,Language and logic -- Congresses.,Computer logic -- Congresses.,زبانشناسی کامپیوتری -- کنگرهها ,زبان و منطق -- کنگره ها ,منطق کامپیوتری -- کنگره ها
رده :
P
98
.
L6
2012
E-Book
,
134. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
135. Logical foundations of computer science :
پدیدآورنده : Sergei Artemov, Anil Nerode (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Computer science, Congresses
136. Logical foundations of computer science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
137. Logical foundations of computer science
پدیدآورنده : Sergei Artemov, Anil Nerode (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Computer science, Congresses
رده :
QA75
.
5
.
L43
2013
138. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
پدیدآورنده : LFCS 9002)9002 :Deerfield Beach, Fla.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
75
.
5
.
L64
2009
139. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
L64
1997
140. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
پدیدآورنده : A. Nerode, Yu.V. Matiyasevich, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
813
